<!DOCTYPE html>
<html lang="en">
<head>
	<meta charset="utf-8">
	<meta http-equiv="X-UA-Compatible" content="IE=edge">
	<meta name="viewport" content="width=device-width, initial-scale=1">

	<title>svaunit
API Specification</title>

	<meta name="author" content="">
	<meta name="description" content="svaunit API Specification">
	<meta name="generator" content="Specador. Copyright (C) 2005-2015 AMIQ EDA ">
	<meta name="keywords" content="SystemVerilog, HTML Documentation, Specador, AMIQ EDA, svaunit API Specification">

	<link href="lib/bootstrap/css/bootstrap.css" rel="stylesheet">
	<link href="css/content.css" rel="stylesheet">
	<link href="css/custom.css" rel="stylesheet">
</head>
<body>

	<div class="container-fluid">

<!-- ========= Title ======= -->
<h2>interface     an_interface
</h2>


<!-- ========= Top Buttons ======= -->
		<br>
		<div class="btn-group">
				
	
	<button data-scroll=#input_ports type="button" class="btn btn-default">Input Ports <span class="badge">1</span></button>
	
	
	
	
	
	
	
	
	
	
	
	
	<button data-scroll=#concurrent_assertions type="button" class="btn btn-default">Concurrent Assertions <span class="badge">1</span></button>
	

		</div>
		<br><br>

<!-- ========= Description ======= -->
	<pre class="comment">Example of one interface with a single SVA<br></pre>

<!-- ========= Parameters ======= -->

<!-- ========= Input Ports ======= -->
	<div class="panel panel-default">
		<div class="panel-heading" data-toggle="collapse" data-target="#input_ports">
			<h4 class="panel-title">
					Input Ports <span class="glyphicon glyphicon-chevron-down"></span>
			</h4>
		</div>
					<ul id="input_ports" class="list-group panel-collapse collapse in">
					<li class="list-group-item">
						<a name="input_port_clk"></a>
						<span class="signature">

	logic
<b>		clk
</b>


						</span>

					</li>
			</ul>

	</div>

<!-- ========= Inout Ports ======= -->

<!-- ========= Output Ports ======= -->

<!-- ========= Interface Ports ======= -->

<!-- ========= Modports ======= -->

<!-- ========= Clocking Blocks ======= -->

<!-- ========= Variables ======= -->

<!-- ========= Functions ======= -->

<!-- ========= Tasks ======= -->

<!-- ========= Concurrent Assertions ======= -->
	<div class="panel panel-default">
		<div class="panel-heading" data-toggle="collapse" data-target="#concurrent_assertions">
			<h4 class="panel-title">
					Concurrent Assertions <span class="glyphicon glyphicon-chevron-down"></span>
			</h4>
		</div>
					<ul id="concurrent_assertions" class="list-group panel-collapse collapse in">
					<li class="list-group-item">
						<a name="concurrent_assertion_AN_SVA"></a>
						<span class="signature">

	<b>an_interface.AN_SVA</b>


						</span>
	<pre class="comment">Check that slverr is LOW when one of sel, enable or ready is LOW<br></pre>

							an_sva_property
					</li>
			</ul>

	</div>

<!-- ========= Procedural Assertions ======= -->

<!-- ========= Generated From ======= -->
		<hr>Generated from: <a href="../../examples/ex_simple/sv/an_interface.sv">an_interface.sv</a>


	</div>

	<div class="footer">
		<hr><p class="text-center">Generated  on Fri Nov 20 17:10:32 EET 2015 using <a href="http://www.dvteclipse.com/" target="_new">Specador<sup>TM</sup></a> Version 15.1.32</p>
    </div>

	<script src="lib/jquery/js/jquery.js"></script>
	<script src="lib/jquery/js/jquery.scrollUp.js"></script>
	<script src="lib/bootstrap/js/bootstrap.js"></script>
	<script src="js/content.js"></script>
	<script src="js/custom.js"></script>

	</body>
</html>

